Bugfix related to TypeEquals_Valid_18 test case. The ifis interpreter
shall recursively check the type for each element of a list and then
return the final result.