#KJ-133 Convert module NEW-INSTANCE to syntactic form. Implemented. Also eliminated rule variable sorts as much as possible.