Text this: Some Ideas on Data Types in High-Level Languages.