Small readability tweak.
Make keys first-class types.
Fix finding of correct editline version.
Fix bug in AST type management.

Turns the bug mentioned in 222777e79dbb was just a forgotten announcement of
the new schema predicate AST node.