Added envWith(), a utility function which we now use every time we make a new environment entry. By modifying this function, we should now be able to add new kinds of variable binding.
Fixed a typo in typeCheck(). It looks like there isn't actually a case where this will cause bugs, since we don't have any use for the variables bound by tfa, ttfa, and sfa yet.