Version 2.0.0 Beta

First update since 2008! Added support for type polymorphism, intensional function application, and typed indices and traces, as well as a little Mac nativization and a handful of big fixes.

• Originally released on Feb 6, 2014 by Dylan Bumford