Language: Use Assert::parameterType for type checks