initial sketch of circuit type and eval, Lava-style but with vectors. Add more structure/Coquet