Good update below. I will say one thing to maybe make more sense of it in the future. You may know all of this but I will be a Richard and say it anyways. Lambda calculator taught me that what goes into a cat also comes out of a cat. Maybe in a different compo... Login to read more.