Abstract store
Add tags when parsing
Improve address module
Add concretization function to lattices
Machine is now abstracted
Fix tests
Restore visualization
Fix graph node comparison
Add begin
Implicit begin in lambda body
A kont is popped when we reduce a node to a value
Add define
Add if continuation
Add set!
Add unspecified, nil and cons to values
Add some tests