I was thinking about the statement 1ML is a user-friendly surface syntax for System Fω in the paper's abstract. I think Fω lives inside Scala. But, as the

I was thinking about the statement 1ML is a user-friendly surface syntax for System Fω in the paper's abstract. I think Fω lives inside Scala. But, as the stackexchange article you cite shows, I should have been more careful in my statement.