make a typed effect system that allows you to make database transactions

[freeeve]

the m word.

within these transactions, we should be able to interleave database queries with computation to choose what to do next