Shorten names of boilerplate classes
Combine IsEventOf with Event class
Refactor IsEdgeOf constraint
Workarounds for duplicate declarations
Remove the “Is”-prefix from boilerplate classes
Depend on “cio” library
Simplify and fix local functions reification
Ignore transaction functions with type variables