Definitions: remove obsolete 'base' instructions.