pattern type signatures

• Scoped type variables