Correct the type of operand results

Operands only contain one argument, though they may have multiple
instances. It is unnecessary to store operand arguments within a vector
as the vector would always contain just one element.
Fix a bug in the result validator

Corrects a condition in the option and operand result validators that
would cause an end iterator to be dereferenced, resulting in undefined
behavior.
Add example program to readme