Added example of an untypable function. Found a disambiguation bug with this example.
Added another example. Made sure the impossible example doesn't have the solver try to build an infinite type