Rename alpha/omega relops to up/down.
Fix dependencies.
Make types explicit on up/down extensions
Add support for unnamed information contracts
Let Relation.alpha delegate to .coerce on Relation itself.
Update the example.