Some backend/semantics files want to use the constants "do_shift", "do_word_from_int", "do_word_op", "do_word_to_int" These are defined in semanticPrimitivesProps. It seems like they’d be better placed in semanticPrimitives. What do people think? Michael