Complete type check