make `Unit` a case object
make `Unit` a case object

Problem: The type of `object X` is `X.type`, not `X`.

Solution: Given that types and objects have separate name spaces,
we can define a type synonym `Unit`, shadowing the default Unit
type.

julian-klode/bsc-thesis-code