Added the "BrookExists" routine and fixed the issue #81 (without TypeKinds).