Which D metaprogramming (templates, mixins, ctfe, ..) features would be in thisD subset?All of them.And would all of D features be available at compile time? CTFE/string mixins seem to be rather limited if features relying on the GC are excluded.
Yes. The limits would only apply to things used at runtime.