Clarify usage of mname vs mvar vs mmlab

Also make addresses expressions, not values
Also change ownership brackets to bag notation