Some more stuff with boxdags now works!
More work on instruction specification.