checkpointing work to make compilation declarative
simple declarative addition compilation

very, very simple. but still fun.