1. A method for representing a logical or physical technology, comprising: providing a first type system for describing a first logical or physical technology, wherein the first type system comprises a state, at least one operator, and a persistence; augmenting the state of the first type system; augmenting the at least one operator of the first type system; and augmenting the persistence of the first type system; wherein the augmented state, the augmented at least one operator and the augmented persistence defines a second type system representing a second logical or physical technology.