WIP: add fact.verify (except defthm or freemap)