(atomic macro) add a new hypothesis, without promotion
This command is exactly like ACL2-pc::claim except that in the newly created goal, no promotion is performed.
We found this useful when automatically generating proof builder instructions.
