avoid infinite loop on comparing two generic function types
fix error handling on lambda capture not found
fix test for loop statement and tiny typo
fix checking if lambda capture exists
enable to remove '(' and ')' of invocation with do-end block