Implementation of Tiny Types for Javascript