[FIX] `hof:fold-left1(..)` and superfluous `item()*` type checks.
Merge pull request #813 from LeoWoerteler/var-checks

[FIX] `hof:fold-left1(..)` and superfluous `item()*` type checks.