0.2.0.0

Main updates

• New top-level module for each lambda calculus is added.
  It make easier to use one specific lambda calculus under a qualified name.
• Quasiquoter now supports splicing-in.
• Change the type of elaborator and type checker for composability.
  Currently they are less type-safe. However, monad to make them type-safe will be added in the future.

Breaking changes

• Move lifters and substitutions into dedicated modules.
• Rename pretty printers.
• Rename elaborators.
• Rename quasiquoter.
• Remove elaborated quasiquoter.
• Change the type of elaborator and type checker.

0.1.0.0

The first release including support for following 4 lambda calculi.

• Simply Typed Lambda Calculus
• System F
• System F omega underbar
• System F omega