Additional type checking raising exceptions.