added HList with demo
deleting trials
added from ISP/a4
updated aufgabe
renames
upgraded to generic types
updated Constraint solving to general typeable elements. added Typeable Constraint Demo and Einstein Constraint Solving demo.