Bump the version number to 0.10
Throw errors for unbound type variables in ADTs and aliases, resolves #302
Fix formatting of error when there are two unbound type variables