Implemented completion of pattern-bound variables
Fixed various things concerning the parsing of patterns, optional and default
Fixed various things concerning the completion of localized variables