make CodeGenMonad mandatory
add ListOperand
add ListType
add support for OperandLists in for-loop (transform)
fix tests for instructions
fix test for loop
enable multiple operands in for-loop