library of helpful typechecker utilities to make coding less verbose