some elaborations on subtypes, the search function, validity of boards