things typecheck