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