leastfixedpoint

Archived tweet #7745 from the @leastfixedpoint Twitter Archive
@mcclure111 vs types of expressions (e.g. type of (3+4) is Nat)