Text this: Algorithmic representation of wermus' constructions of ordinal numbers