EARLY DRAFT. Implement value stack via HList