target doc in Makefile is phony
default map,set and hashtable modules for terms