basic vector support
synatic sugar for defining lambda, and a few helpers
remainder procedure and context-probe for debugging
solved the closure problem