operational semantics added
added semantics section
fixed bugs
changed frontpage and fixed one todo
fixed some todos