Avoid generation of some induction schemes.
Some clean up in list.
Define ⊑@{m} on memory values using "mval_of_bytes" instead of "mval_of_bytes".

This makes it more consistent with values.