Rearrange options
Simplify self-update code
Tweak notation
Add note
Improve error messages
Improve handling of constraints
Add IGNORE_ALL_CONSTRAINTS
Replace .halcyon-magic with .halcyon