add prohibition of variables bound to patterns
adding pattern-constructor
Merge remote-tracking branch 'origin/master' into pattern-matching
add pattern-constructor
added pattern-constructor
add index-loop
write a loop pattern
written a loop pattern
Merge branch 'pattern-matching'