revisit built-in ISA names

[stylewarning]

There are built in ISAs which have names that made sense at a given time at Rigetti, but they're no longer architectures that Rigetti makes available, and the IBM/Google ones are ones neither IBM/Google uses. Revamp/modernize this, and choose better names.