stream-like eval DONE USING CAUSAL eval, cleaned up a little, needs more cleaning
refactored splitVecs, more consistent naming for sizes and input words in Simulation/Core
in Simulation, using point-free composition and better named mapping
trying to get proof combinators, weird error expecting bool products