@grainloom Why not templates (with eager evaluation to avoid turing-completeness)?