fix Holmakefile for initial
make primitive program and conLang tags match up
prove prim_env_inv