Linked type:->symbols in with the writing mechanism, integrated type intervals into propagators.
Merge branch 'master' of https://github.com/ahaven/6.945-Project