pattern type signatures

• Scoped type variables
• History of scoped type variables