Begin a more platcheck-like implementation. The goal is to not have to 
do many compilations, rather many constants can be determined at once.