Constants
Typecheck is linear again.