Battle-plan for CTFE

[Kagamin via Digitalmars-d-announce]

1. You said CTFE engine can be ctfeable itself? But it uses 
unions in BCValue - it's not going to work in CTFE, is it? Just 
wondering myself what's the way to have polymorphism at compile 
time.
2. The byte code generator interface has no mean to declare 
functions? In case of LLVM jit one would want to declare 
functions so that jit can use registers to pass parameters for a 
bit more extra speed, though it's probably not worth it.