Rename file to propely reflect module name
Add big-step semantics module