ref: Move type-checking out of sparrow-logical

[bjchambers]

This crate is intended to be a thin interface crate with minimal logic. Pulling in a dependency on type-checking and constructing "valid" expressions is more than thin.

Possible options:

1. Move the creation of type-checked logical expressions to a sparrow-logical-builder crate.
2. Move the creation of type-checked logical expressions to the sparrow-session crate.