-Q	-acopqs

-a	_a_llow _a_bstractions of degree one
-c	put _c_ontext parameters in front of other definitions
-o	_o_ld style parameters: disallow explicit paragraph references
-p	allow _p_rops
-q	allow _q_uasi expressions
-s	disallow paragraph reopeners without a _s_tar

-Z	-dlmrv

-d	summarize _d_uration
-l	summarize number of _l_ines
-m	summarize _m_emory usage
-r	summarize number of _r_eductions
-v	summarize _v_ersion
-z	summarize to stdout instead of stderr

-b	omit lambdas when calculating categories of degree one
-e	disallow _e_ta reductions
-f	_f_ull check: ignore squiggles
-i	print _i_nternal addresses of lambda expressions
-y	print ever_y_thing

-k n	how many implicit parameters to _k_eep
-n n	limit to _n_ reductions per typecheck
-t n	_t_race reductions
-x n	print e_x_cerpt

