added define for a slightly more readable typecheck