leastfixedpoint

Archived tweet #1595 from the @leastfixedpoint Twitter Archive
Back to trying out LTSes in Redex, thanks to advice from @jdanbrown