Support for type

@bifodus if we relied on regex and considered `in` to be it's own type, then I think we could remove this as well.