Update on the beginnings of axiom instantiation code. Very little is
complete, but the structure is partially there.