Beginning Type System
Beginning Implementation of Types.js