More contracts proto updates

Fixing standards

Proto bump

Shift operator

New ast types for user defined, including state variable fixes for in…

…itial value

Unary Kind

Assembly AST statements

Bunch of improvements

Prefix and suffix unary kinds

Function IR signature