feat(builtin/kernel): add rewrite rules for if-then-else

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
doc(examples/lean): expand the dependent if-then-else example

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
doc(examples/lean): expand the dependent if-then-else example