This project aims to allow JS developers to define datatypes for their beloved JS functions/methods, without losing the benefits of dynamic typing while still maintaining a well defined interface with defined datatypes by introducing the concept of "Checked Functions"