clarified modules;

updated to scala-2.12.4;

turn application-specific Pattern.matches_subterm into an application-private function

--HG--
extra : rebase_source : d589025f6bea2a7c23483cf2e57830856d9fafb2

tuned;

removed some add-ons from modules that are relevant for the inference kernel;