typecheck img