forbid extending sort K in the Java backend

Fixed https://github.com/kframework/k/issues/708

@dwightguth @radumereuta please review
Not sure whether A can have the sort K here, it should probably have sort KItem.  I somehow feel that we should not even review this, we should just merge if the tests pass and then wait until the new parser will run into problems and fix them then.