#31, #61

* #31: Support for several source parameters
* #61: Refactored `Type` to wrap a `TypeMirror`