Truth in types, safety in thought. Advancing the use of type theory as a protective factor against cognitohazards. typememetics.institute