Adds Focus a.o.t.
Abstracts mcompose
Moves focus.hs
Focus
SList impl
Fixes duplication etc
More sketches
Fixes #87