leastfixedpoint

Archived tweet #3169 from the @leastfixedpoint Twitter Archive
@BrianTRice but otoh it requires declaration of messages like they were datatypes...