The typed layer's core

What every theory needs: terms and their values, bound variables, the Boolean operators, the Solver, and symbol structures.