They're an implementation of the untyped lambda calculus. What you're thinking of are better named tags, not types.