Moved typed functions to module util.rkt