new features

New

• regular expression contracts
• and combinator
• recursive contracts

perf and some missing features

New Features

• predicate contracts
• this contracts
• method contracts

Made things faster. Now have a benchmarking suite via grunt bench.

Changes

The opt keyword is now ?.

polymorphism

Added support for parametric polymorphism. Documentation here

@ forall a (a) -> a
function id(x) { return x; }

macros!

Major rewrite to take advantage of sweet.js macros.