define ref fn map = (ref, value):map
  where value = Func (NatvFn (fn ref) ref)
define ref fn map = (ref, value):map
  where value = Func (NatvFn (fn ref) ref)
define ref fn map = (ref, value):map
  where value = Func (NatvFn (fn ref) ref)