~james/scope

ref: cb7f12d3e8eeba75b4f02821fbb85d2741a69beb scope/lib/model.ml -rw-r--r-- 3.6 KiB 
feat(core): define typed addresses and captured register state