v0.1.2

• Added Shift type for lifting the scope of an Embed combinator up one binding level.
• (in 0.1.1, which never went to Hackage) Added a makeClosedAlpha TH splice for making 'Alpha' instances for types that don't participate in Alpha in a non-trivial way. A type T is trivial with respect to Alpha if:
  • it cannot contain any names
  • thus its aeq is just (==)
  • and open and close are both identity operations.