clean up ISA

re-add instructions along the way as we figure out what they actually exactly
do, and on what platforms