forbid extending sort K in the Java backend

Fixed https://github.com/kframework/k/issues/708

@dwightguth @radumereuta please review
Wouldn't it be easier to just use KAST here, which is simpler because it avoids any encodings, and write just

    syntax KLabel ::= "dummy"

Maybe even `#dummy`.