Thanks!  This was largely inspired by Frege (<a href="https:&#x2F;&#x2F;github.com&#x2F;Frege&#x2F;frege" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;Frege&#x2F;frege</a>) which has been on HN before, but is worth checking out.