Idris support for Typedefs

This release includes support for specialised types in Idris. Including Types constructors like List : * -> *.

• Expose Idris API through the Typedefs.Idris and Typedefs.Library imports.
• Streamline API for serialisers and deserialisers in Idris.
• Add support for JSON as a serialisation format for Idris.
• Add basic support for reference by using FRef for free variables references or RRef for references to a variable in context.
• Rename the command-line to typedefs in the help menu.

Plain typedefs

This version features:

• +, *, 0, 1, mu constructors
• term serialization for haskell
• type generation for haskell, reasonml and json schema