fix(library/simplifier): bug in cast elimination

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/simplifier): contextual simplification for A -> B

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/simplifier): contextual simplification for A -> B