Tekstiviesti: A categorical programming language /