Type Expressive

Ideas collected by cheeriosman