Plait Polymorphism 1 - type parameterization

Extending Curly to support parametric polymorphism.