Typester now verifies the arguments it itself receives so it can fail-fast if improperly used.