About "encode the difference between interpretation and compilation semantics". For immediate words, there is no difference. If a Forth system supports arbitrary combinations of interpretation and compilation semantics (e.g., with Gforth's `interpet/compile:`), the same xt can represent the interpretation semantics of one word and the compilation semantics of another word. E.g.:
