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;