Non-matching compound types prints better errors
Non-matching compound types prints better errors

Before, trying to match `Fut int` and `Fut void` gave the error message
that `int` did not match `void`. We now print the full types.

parapluu/encore,parapluu/encore,parapluu/encore