fix sort declaration modularity in translation semantics
fix sort modularity in execution semantics
Merge pull request #65 from dwightguth/fixmaster

fix c semantics for k master