Fixed bug in type checker where it missed type checking
functions that had no argumnets.