add functional/equiv

fix is_bind_expression
add polymorphic version not1, not2
fix README
intermediate
fix
Reduce complexity
change line separation
Fix 4 Iterator parameter version(missing mismatch parameter)
Merge remote-tracking branch 'origin/spike2' into spike2