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 internet.
As discussed in #18, sending the first part of `42.type` – without a way to get an inhabitant of the singleton type.

Please take a look @milessabin @puffnfresh @non