Fix warnings.

In getNodes, pass (a, [a]) instead of an [a] which we know is nonempty.
This way we do not have to create void pattern-match case for empty
list.

Also use STRICT_x_OF_y macros instead of `seq`-ing in every
pattern-match case.