managed to get multiple inputs working, with the current binding constructors, not sure about the type safety of it all
began trying to evaluate the "PHOAS-style-Lava" circuit type, stuck at "strictly positive" problem