Type a string. The sfold function will be computed.