Add paragraph about syntactical bidirectionalisation
Update chapter: semantic bidirectionalisation
Rephrase some details about semantic bidirectionalisation
Write down enhancements for semantic bidirectionalisation
Add paragraph for combined approach, start with paragraph for put combinators and fix typos
Add papers for containers, Harmony project etc
Add paper for view update problem
Fix typos and rephrase
Add paper summaries
Add modules to generate lenses for record type declarations
Add lens composition operator
Update module to generate FlatCurry program for a given module name
Add main goals generated by REPL to .gitgnore
Remove Curry_Main_Goal.curry file
Add example defintions of type Person and Address for testing, because record syntax is not allowed in REPL