Add explanation and  example for derivation algorithm
Add forall.fmt as formatting style
Add last example and further explanations for view complement approach
Add examples for semantic bidirectionalisation
Update explanations for semantic bidirectionalisation approach
Add todos and some notes