Improved tests + extracted ImplicitValuesOfTypeFinder

This commit will be squashed in a final PR.