Removed last traces of unprepend, included generation of typed clauses for constructors (which are refused by the typechecker)
Markdown tweak ideas