For the past few weeks I've been working on an arity checker(a gizmo that makes sure that functions behaves somewhat correctly.)
My wiki passed all tests for the first time today. It's been a pretty interesting process. The factor and concat languages wiki are the only resources around that I found on the topic, well worth a dive: