Removing :> overloading.
Removing the data def for :>.
Removing the "dual" concept.
Fixing log size of Fin values.
Redo for Memory. This replaced (signals of) functions.