\newcommand{\opit}[1]		{#1}

% -- Keywords
\newcommand{\kcase}		{\textrm{\textbf{case}}}
\newcommand{\kdata}		{\textrm{\textbf{data}}}
\newcommand{\kdo}		{\textrm{\textbf{do}}}
\newcommand{\kelse}		{\textrm{\textbf{else}}}
\newcommand{\kif}		{\textrm{\textbf{if}}}
\newcommand{\kin}		{\textrm{\textbf{in}}}
\newcommand{\kinstance}		{\textrm{\textbf{instance}}}
\newcommand{\kmask}		{\textrm{\textbf{mask}}}
\newcommand{\klazy}		{\textrm{\textbf{lazy}}}
\newcommand{\klet}		{\textrm{\textbf{let}}}
\newcommand{\kletregion}	{\textrm{\textbf{letregion}}}
\newcommand{\kwithregion}	{\textrm{\textbf{withregion}}}
\newcommand{\kletconstregion}	{\textrm{\textbf{letconstregion}}}
\newcommand{\kletmutableregion}	{\textrm{\textbf{letmutableregion}}}
\newcommand{\kletlazyregion}	{\textrm{\textbf{letlazyregion}}}
\newcommand{\kletdirectregion}	{\textrm{\textbf{letdirectregion}}}
\newcommand{\kof}		{\textrm{\textbf{of}}}
\newcommand{\kthen}		{\textrm{\textbf{then}}}
\newcommand{\kwith}		{\textrm{\textbf{with}}}
\newcommand{\ktype}		{\textrm{\textbf{type}}}
\newcommand{\kwhere}		{\textrm{\textbf{where}}}
\newcommand{\krgn}		{\textrm{\textbf{rgn}}}
\newcommand{\kwr}		{\textrm{\textbf{wr}}}
\newcommand{\klr}		{\textrm{\textbf{lr}}}



% -- Roman constructors
\newcommand{\rAllocs}		{\textrm{Allocs}}
\newcommand{\rCreates}		{\textrm{Creates}}
\newcommand{\rMakes}		{\textrm{Makes}}
\newcommand{\rMReads}		{\textrm{MReads}}
\newcommand{\rMAllocs}		{\textrm{MAllocs}}
\newcommand{\rNonInterfering}	{\textrm{NonInterfering}}
\newcommand{\rPReads}		{\textrm{PReads}}
\newcommand{\rPAllocs}		{\textrm{PAllocs}}
\newcommand{\rReads}		{\textrm{Reads}}
\newcommand{\rNeeds}		{\textrm{Needs}}
\newcommand{\rWrites}		{\textrm{Writes}}
\newcommand{\rTests}		{\textrm{Tests}}
\newcommand{\rUReads}		{\textrm{UReads}}

% -- Roman vars
\newcommand{\ralloc}		{\textrm{alloc}}
\newcommand{\rcreate}		{\textrm{create}}
\newcommand{\rconst}		{\textrm{const}}
\newcommand{\rdistinct}		{\textrm{distinct}}
\newcommand{\rif}		{\textrm{if}}
\newcommand{\rmread}		{\textrm{mread}}
\newcommand{\rmutable}		{\textrm{mutable}}
\newcommand{\rmalloc}		{\textrm{malloc}}
\newcommand{\rnofab}		{\textrm{nofab}}
\newcommand{\rpure}		{\textrm{pure}}
\newcommand{\rpread}		{\textrm{pread}}
\newcommand{\rpalloc}		{\textrm{palloc}}
\newcommand{\rpropOf}		{\textrm{propOf}}
\newcommand{\rread}		{\textrm{read}}
\newcommand{\rsuspend}		{\textrm{suspend}}
\newcommand{\rtrue}		{\textrm{true}}
\newcommand{\rtest}		{\textrm{test}}
\newcommand{\rfalse}		{\textrm{false}}
\newcommand{\rupdate}		{\textrm{update}}
\newcommand{\rwitOf}		{\textrm{witOf}}
\newcommand{\rwrite}		{\textrm{write}}
\newcommand{\rwrites}		{\textrm{writes}}

% -- Italic constructors
\newcommand{\iAlloc}		{\opit{Alloc}}
\newcommand{\iBool}		{\opit{Bool}}
\newcommand{\iBlocked}		{\opit{Blocked}}
\newcommand{\iConst}		{\opit{Const}}
\newcommand{\iConsole}		{\opit{Console}}
\newcommand{\iCons}		{\opit{Cons}}
\newcommand{\iConstant}		{\opit{Constant}}
\newcommand{\iClean}		{\opit{Clean}}
\newcommand{\iICons}		{\opit{ICons}}
\newcommand{\iDirect}		{\opit{Direct}}
\newcommand{\iDirty}		{\opit{Dirty}}
\newcommand{\iDummyVar}		{\opit{DummyVar}}
\newcommand{\iDistinct}		{\opit{Distinct}}
\newcommand{\iDistinctSet}	{\opit{DistinctSet}}
\newcommand{\iEq}		{\opit{Eq}}
\newcommand{\iFractional}	{\opit{Fractional}}
\newcommand{\iFloat}		{\opit{Float}}
\newcommand{\iInt}		{\opit{Int}}
\newcommand{\iIO}		{\opit{IO}}
\newcommand{\iIORef}		{\opit{IORef}}
\newcommand{\iInternalVar}	{\opit{InternalVar}}
\newcommand{\iIntegral}		{\opit{Integral}}
\newcommand{\iLazy}		{\opit{Lazy}}
\newcommand{\iList}		{\opit{List}}
\newcommand{\iListInt}		{\opit{ListInt}}
\newcommand{\iMutable}		{\opit{Mutable}}
\newcommand{\iMk}		{\opit{Mk}}
\newcommand{\iMkEq}		{\opit{MkEq}}
\newcommand{\iMkMutable}	{\opit{MkMutable}}
\newcommand{\iMkConst}		{\opit{MkConst}}
\newcommand{\iMkDistinct}	{\opit{MkDistinct}}
\newcommand{\iMkDistinctSet}	{\opit{MkDistinctSet}}
\newcommand{\iMkDistinctNarrow}	{\opit{MkDistinctNarrow}}
\newcommand{\iMkListEq}		{\opit{MkListEq}}
\newcommand{\iMkPure}		{\opit{MkPure}}
\newcommand{\iMkPureBot}	{\opit{MkPureBot}}
\newcommand{\iMkPurify}		{\opit{MkPurify}}
\newcommand{\iMkPurifyRead}	{\opit{MkPurifyRead}}
\newcommand{\iMkPurifyAlloc}	{\opit{MkPurifyAlloc}}
\newcommand{\iMkPureJoin}	{\opit{MkPureJoin}}
\newcommand{\iMkT}		{\opit{MkT}}
\newcommand{\iMutability}	{\opit{Mutability}}
\newcommand{\iNil}		{\opit{Nil}}
\newcommand{\iINil}		{\opit{INil}}
\newcommand{\iOrd}		{\opit{Ord}}
\newcommand{\iPair}		{\opit{Pair}}
\newcommand{\iPure}		{\opit{Pure}}
\newcommand{\iRead}		{\opit{Read}}
\newcommand{\iRef}		{\opit{Ref}}
\newcommand{\iString}		{\opit{String}}
\newcommand{\iSourceVar}	{\opit{SourceVar}}
\newcommand{\iST}		{\opit{ST}}
\newcommand{\iSTRef}		{\opit{STRef}}
\newcommand{\iTrue}		{\opit{True}}
\newcommand{\iWrite}		{\opit{Write}}
\newcommand{\iFalse}		{\opit{False}}
\newcommand{\iVar}		{\opit{Var}}
\newcommand{\iVec}		{\opit{Vec}}

% -- Italic vars
\newcommand{\iacc}		{\opit{acc}}
\newcommand{\iadd}		{\opit{add}}
\newcommand{\iaddTwo}		{\opit{addTwo}}
\newcommand{\ialt}		{\opit{alt}}
\newcommand{\iarray}		{\opit{array}}
\newcommand{\ibar}		{\opit{bar}}
\newcommand{\ibadness}		{\opit{badness}}
\newcommand{\ibadSquares}	{\opit{badSquares}}
\newcommand{\ibindT}		{\opit{bindT}}
\newcommand{\ibindstmt}		{\opit{bindstmt}}
\newcommand{\ibox}		{\opit{box}}
\newcommand{\ibstmt}		{\opit{bstmt}}
\newcommand{\icomp}		{\opit{comp}}
\newcommand{\icount}		{\opit{count}}
\newcommand{\icounters}		{\opit{counters}}
\newcommand{\icounter}		{\opit{counter}}
\newcommand{\icopy}		{\opit{copy}}
\newcommand{\icopyInt}		{\opit{copyInt}}
\newcommand{\ictorTypes}	{\opit{ctorTypes}}
\newcommand{\idouble}		{\opit{double}}
\newcommand{\idrop}		{\opit{drop}}
\newcommand{\ieqInt}		{\opit{eqInt}}
\newcommand{\ielem}		{\opit{elem}}
\newcommand{\ierror}		{\opit{error}}
\newcommand{\ifive}		{\opit{five}}
\newcommand{\ifoo}		{\opit{foo}}
\newcommand{\ifoldl}		{\opit{foldl}}
\newcommand{\iforce}		{\opit{force}}
\newcommand{\ifv}		{\opit{fv}}
\newcommand{\iint}		{\opit{int}}
\newcommand{\iindex}		{\opit{index}}
\newcommand{\iincInt}		{\opit{incInt}}
\newcommand{\iinsertAfter}	{\opit{insertAfter}}
\newcommand{\iinsertAt}		{\opit{insertAt}}
\newcommand{\ilazy}		{\opit{lazy}}
\newcommand{\ilazySucc}		{\opit{lazySucc}}
\newcommand{\ilazyMap}		{\opit{lazyMap}}
\newcommand{\ilazySquares}	{\opit{lazySquares}}
\newcommand{\ilist}		{\opit{list}}
\newcommand{\ilength}		{\opit{length}}
\newcommand{\imap}		{\opit{map}}
\newcommand{\imapL}		{\opit{mapL}}
\newcommand{\imapLH}		{\opit{map_{LH}}}
\newcommand{\imapM}		{\opit{mapM}}
\newcommand{\imain}		{\opit{main}}
\newcommand{\imf}		{\opit{mf}}
\newcommand{\inewVar}		{\opit{newVar}}
\newcommand{\inum}		{\opit{num}}
\newcommand{\iobj}		{\opit{obj}}
\newcommand{\ipair}		{\opit{pair}}
\newcommand{\ipairEq}		{\opit{pairEq}}
\newcommand{\ipi}		{\opit{pi}}
\newcommand{\iprimIntEq}	{\opit{primIntEq}}
\newcommand{\iprint}		{\opit{print}}
\newcommand{\iprintSquare}	{\opit{printSquare}}
\newcommand{\iprintInt}		{\opit{printInt}}
\newcommand{\ipS}		{\opit{pS}}
\newcommand{\ireturnT}		{\opit{returnT}}
\newcommand{\ireadRef}		{\opit{readRef}}
\newcommand{\ireadIORef}	{\opit{readIORef}}
\newcommand{\iref}		{\opit{ref}}
\newcommand{\irefTo}		{\opit{refTo}}
\newcommand{\iroots}		{\opit{roots}}
\newcommand{\irxs}		{\opit{rxs}}
\newcommand{\ishow}		{\opit{show}}
\newcommand{\isix}		{\opit{six}}
\newcommand{\isquares}		{\opit{squares}}
\newcommand{\isqrt}		{\opit{sqrt}}
\newcommand{\isum}		{\opit{sum}}
\newcommand{\isuspend}		{\opit{suspend}}
\newcommand{\isuccDelay}	{\opit{succDelay}}
\newcommand{\isucc}		{\opit{succ}}
\newcommand{\isuccL}		{\opit{succL}}
\newcommand{\islowSucc}		{\opit{slowSucc}}
\newcommand{\isval}		{\opit{sval}}
\newcommand{\isv}		{\opit{sv}}
\newcommand{\itriple}		{\opit{triple}}
\newcommand{\iupdate}		{\opit{update}}
\newcommand{\iupdateInt}	{\opit{updateInt}}
\newcommand{\ixx}		{\opit{xx}}
\newcommand{\ixs}		{\opit{xs}}
\newcommand{\iys}		{\opit{ys}}
\newcommand{\iunbox}		{\opit{unbox}}
\newcommand{\ivec}		{\opit{vec}}
\newcommand{\ival}		{\opit{val}}
\newcommand{\ivar}		{\opit{var}}
\newcommand{\iwriteRef}		{\opit{writeRef}}
