Fixed the problem with the type checker adding in the extra parameter to functions that do not return Ints. I should put these in the tped API together with a collection of useful functions that would would with type information.