Checker with type check implemented