test(examples/lean): small version of algebraic hierarchy (proof of concept)

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>