forbid extending sort K in the Java backend

Fixed https://github.com/kframework/k/issues/708

@dwightguth @radumereuta please review
There are many places in the tutorial that extend K. I will add a TODO comment here for now. Maybe we can get back to it later?