code: function substProperty(prty, tenv) {
      return {
          optional: prty.optional,
          type: substType(prty.type, tenv),
          meta: prty.meta
      }
  }
docs: --------------------------------------------------- Inheritance ---------------------------------------------------