Typesafe wrapper tryout. Not finished
Amending gitignore by compiler out path.
Generic Arithmetic Classes Test
Existential types example. Unfortunately still not clear.