Release v0.3.0

User Facing Changes

• Lambda Changes
  1. Types are no longer required on all terms
  2. Application and Lambda now take multiple arguments, and expect
     arguments uncurried
• Core Category Changes
  • Opaque types now extend the core category
• An interpreter now can be used from any category of the codebase
• Cleaner Code generation, through the new BITC backend.

Bug Fixes

• Geb to Poly had a few bugs fixed in injection, and pair
  representations
• Geb no longer exhausts the stack when trying to generate out
  vampir for basic circuits.