Semantics using Type Theory with Records