[D.typesystem] Static (CT) enforce anybody?

[dsimcha]

== Quote from Denis Koroskin (2korden at gmail.com)'s article
> DDMD advances pretty fast, it can already compile druntime, phobos and
> some of the applications. We also started updating it to newer versions,
> so it's catching up (ddmd is at 2.036 atm). GC is disabled atm due to
> memory corruptions inherited from DMD, though. I believe once we resolve
> those and enable GC we could backport the changes to DMD so that it could
> use Boehm's GC. Win-win?

Awesome work!  The only unfortunate thing about DDMD, as you point out on the
wiki, is that it's far from idiomatic D.  For example, I doubt you'd find anything
like:

import std.algorithm

in there.  BTW, is DDMD targeting D1 or D2?