First Class Syntax, Semantics and Their Composition