implement new-loop syntax #4
add syntax sugar for loop-patterns #4
update syntax sugar of loop-patterns #4
fix type (pull req)