Chore: Dafny to Rust refactorings
- extern module as attribute
- Type arguments with type bounds (can be tested)
- Attributes handling
- Type on Select field and TupleSelect
- Name refactoring
- every In
- NoStatementBuffer
- GenFormals
- EmitNameAndActualTypeArgs (for classes)
- ParseAttributes
- GetExtractOverrideName (to be able to model Rust options)
Dafny
- StructBuild first argument to be an expression instead of a string
- Apply and ApplyType
- Type to TypeParamDecl
- Formals to Fields, NamelessFormals to NamelessFields
- Visibility to string
- Self to SelfBorrowed
- SeltMut to SelfBorrowedMut
- Box/BoxNew (for attribute annotations)
- bool
- ToOwned (used in tail recursion)
- IsImmutableConversion
- Formal.self becomes Formal.selfBorrowed
- Formal.selfMut becomes Formal.selfBorrowedMut
- AssignMember and all new variants ExtractTuple and Index
- ExprFromType
- Lambda (makes code prettier)
- Error handling
- Debug for datatypes
- No more system object, just any
- New char encoding
- int!
- Refactoring of DafatypeValue's first argument
- constant
- GenIdent refactoring

…ng/dafny into chore-rust-refactorings