looks to be mostly working-- crashing on a corner case I'll fix next
pass can take advantage of nop synthesis now