T1.eff
interface of the computation effects
method virtual lookup : var -> 'r m
method virtual update : var -> 'r -> unit m
method virtual load : 's -> addr -> 'r m
method virtual store : 's -> addr -> word -> 'r m