unified: make expression named and a supertype

Supertypes are a honking great idea. We should use more of them.

This massively cleans up the node types, without polluting the AST with
`expression` nodes.

Author: tausbn