Working on an a la carte typing system that simply checks the ins and outs of a function, nothing more