Relational.canonical: put symbol on lhs
wip
quick