Initial type checking