added genargs to ast
almost handling them
hook to genarg
using tactics to generate terms instead of producing constrs
tmp
fixing constrextern