* Formatting; fix erroneous "type_prop" classification for reduce and slice tests

* Clarify comment

* Add step parameter to slice, with type checking but not (yet) implementation in VM