Uniqueness Typing

1. 1. The programming language Clean has so-called uniqueness types. Extend the type checker from the IPT course so it can handle this extension.