Working tests
More cleaning
Work on paper
New ideas for semantics
 more