Add instruction syntax plumbing.
Minor fixes and specs.