renames TypeConstructor to TyCon
applyTyCon for kinds * -> * and GHC.Types.Char
boltzmann refactor
genBoltzmann does not keep trying after failure or success.