feat(frontends/lean): add '[]' notation for marking arguments where class-instance resolution should be applied
feat(frontends/lean): add '[]' notation for marking arguments where class-instance resolution should be applied