fix(frontends/lean): EXTRA_TYPE info
fix(frontends/lean): EXTRA_TYPE info