I intend to improve on the partial transactor implementation created by Philip Kuang,
first by modifying the compiler to support the syntax proposed in his masters thesis,
and then by extending the runtime with the ability to detect and initiate rollbacks on
soft failures.