Working on a structure transition for values
Finish cleaning up type system
Move sexpression to a separate module
Syntax