typesafety.pm - compile-time type usage static analysis Scott Walters <scott@slowass.net>