lexing of subs, functions, methods, traits; declaring lexicals in expressions
declaration fixes and block sanities