Minor updates to todo.
Check if last alternative in case is unreachable.

Avoids blowup in some sketch test cases.
Implement "unreachable" for PrimArray.

So we don't get a mysterious "PrimArray.unreachable" error.