Snapshot: tinkering with octonions
New representation of ItFuns.
Add domain-specific simplifiers.
Remove arity field from constant.
Update TODO.