Type Checking On Parser