naive vector impl
evaluate in env