Можете объяснить, что подразумевается под системой типов в языке Java?