Fix 'defined' syntax's typechecker