add missing checkfile
WIP prune implicit searches for types with non-conformant bounds