Feature type checking made more flexible