Started more rigorous definition of generic machine instructions.