add behavior to contact of peek
change rep of MaxValue (improves verification rate)
formatting
simplify assigns clause (achieve full verification)
split the functions test_peek and test_poke
Merge pull request #7 from carand/master

split the functions test_peek and test_poke
write on tests
reimplmented for-loops
keep old section on interaction
splitting of files
fix wrong capitalisation
Merge pull request #8 from carand/master

reimplmented for-loops
Merge pull request #199 from jensgerlach/master

add remarks on which sections are nor yet ready