fix(frontends/lean): EXTRA_TYPE info