Text this: A System F accounting for scalars