feat(builtin/macros): add assume/take macros for making proof scripts more readable

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
doc(examples/lean): new examples

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
doc(examples/lean): new examples