v1.1.0

• Type checking is now more consistent across all operators: if an overload isn’t found, the resulting type is now always Unknown. Previously, for example, type-checking the expression len x would yield the type Int even if the type of x was unknown.

• Minor modifications to the thesis.

• Other minor code improvements.