fix(frontends/lean/frontend): is_coercion for environment objects that have parents

Bug was exposed by tests/lua/coercion_bug1.lua

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