Typed Logic: the former

What I wrote years ago is here at typedlogic.blogspot.com