Progress on getting the semantics to build

But not there yet.