typecheck
