X'syntax - y-semantics by Zwarts