Updated type checking