extend knownModules to include bootstrap2011, 2012 and 2014 teachpacks
use the proper name for true in the module constants :P
desugar 'else' to 'true'