Substantially reduced copying when using JahArgs and JahSpec and resulting refactoring