added genargs to ast
almost handling them
hook to genarg
using tactics to generate terms instead of producing constrs
tmp
tmp
using sets instead of maps in glob