added genargs to ast
almost handling them
hook to genarg
using tactics to generate terms instead of producing constrs
Passing Ltac variables around.