adds should-be-a

a type checking helper.