I've been reworking my little type-checking library built on guile-log. It now works on some pretty recent guile-2.0 repo and a recent guile-log. It has subtypes it has recursive types allow for or and and not in the spec for the type. You can check it out at