Revamped object literals + mutability

  - { f1:e1,..,fn:en } :: { M1 f1:t1,.., Mn fn:tn } M