Basic implementation of 42.type

Hey folks,

Sorry this took so long: got swamped with all the things that happened while I was away from the internet.
As discussed in #18, sending the first part of `42.type` – without a way to materialize inhabitants of singleton types.

Please take a look @milessabin @puffnfresh @non