+type() type-checker