Session Type typesetting macros