Hygiene for thinky.js
Add a few comments on type.js