Type Theory and Semantics in Flux