Symbol: typecheck