Fix typo
Rename KEYS VALS: satisfies -> when.

For consistency with LAZY-FOR/LFOR.
Cleaning
Fix bug: `(map* 1 '+ #[1..] #[1..])` enters the infinite loop.

MAP* that is supplied a positive-integer (as result-type) and some buxides which
contains at leaset one infinite-lazy-sequence enters the infinit loop.
It should be MAP* that is supplied a 'lazy-sequence as a result-type with the
buxides and then TAKEs elements just the positive-integer.
e.g., `(take 1 (map* 'lazy-sequence '+ #[1..] #[1..]))`