Add support for GUI display of continuations
Pretty print type number