fixing indentation, asserting using preconditions the operation of datom
updates and attr cardinality / indexing upon creation