stuff
did merge and resolved conflict and non-compilation
 finished SingletonTypes with half-präsi and example
formatting
poly funcs finished with example