comp it was going to be just a matcher name like:
comp do x <- list l x <- filter mod(x, 2) == 0 # Only evens x * 2 # Double the evens end
The ‘type’ definition was the code generation command, so
list generated optimal code for list iteration,
filter would generate optimal code for running the test, etc… etc… I was considering if to make it user extensible as well for custom types that could get around needing to incur the ‘Access’ cost for generic enumerations.