Move MkProperty from Anchors to Transaction
MkProperty is a newtype
TODO updates
Split Anchors to generic records and specific DbM/ViewM instantiations. ExpressionGui/Sugar are parameterized on the generic records.