Done for today. Still need to do type checking, function call
consistencies, and return type. Should be good after that.