forbid extending sort K in the Java backend

Fixed https://github.com/kframework/k/issues/708

@dwightguth @radumereuta please review
You know you can write
```
syntax Array ::= store(Array,Int,K)  [smtlib(store)]
```
right?