discovered bug where we don't properly unify curried functions
added wildcards
getting rid of annoying linter warnings
removed some extraneous files
added For/In desugarer
more thoughts
fixed bug, it was actually in typeOfApply
updated tests to remove while loops, adding in pattern definition
updated tests. Multifunction tests are failing for some reason.