checkpoint

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
example showing that the approach for caching metavar_env is broken in the type_checker

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