polymorphism

Added support for parametric polymorphism. Documentation here

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