Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics