K-Java: some syntax used to type check the paper. Not used in the semantics.