User blog comment:Deedlit11/My humble extension of FOOT/@comment-1605058-20161222105757/@comment-1605058-20161222180753

Not sure what you mean by proper****, but once Deedlit gets around to polishing the details, I will gladly accept my defeat, since this stuff looks well-defined.