ref: Introduce a logical function trait

This will make it easier to describe records (both type checking and implementation in one place), as well as allow more extensibility in logical functions (eg., defining custom UDFs, etc.). Having a registry of functions would also make it easier to report errors ("did you mean ...").