mark a few supposedly impossible deep explanation statements as uncoverable
tests for Types::TypeTiny meta methods
check messages from converted Mouse type constraints
test Test::TypeTiny::matchfor
misc extra tests for Type::Registry