Text this: Operational domain theory and topology of sequential functional languages