Make Dependency generic
First draft of unbound procedures
Usable unbound procedures
Make Procedure return a value
Add return value to Procedure, remove Function
Rename Transaction to Context and Procedure to Transaction
Rename UnboundAlter to Alter
Minor cleanup
Move away from the Value abstraction
Merge branch 'master' into curator_impl
Fix compilation after removal of Value