Java backend: implemented a missing shallowCopy to avoid crashing in the ConcretizeSyntax phase
do not add a subsorting production into Context#subsorts if it's tagged with notInRules or onlyLabel
Java backend: no need to write special test programs for kool-typed-static anymore