feat(kernel/simplifier): add support for Beta-reduction in the simplifier

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/simplifier): add support for Eta-reduction in the simplifier

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