[LARGE] Recovering typechecking after AIM XX

- Applied Guillaume's suggestions to IntroMod
- Applied changes due to better AD.Manifest
- Persevered with the AD.Instances (now AD.Hints) approach :-)
- Updated README.org
- Several other minor fixes
Minor merge