base types
memory model updated
Type notation
operation definition can refer to memtype attribute value
device notation