modifier masks
type bindings
int and float
contracts
more on types and references
better codegen
contracts
more oo concepts
method implementations
class contracts
more readable contracts
adding methods/verifiers
bugfix
more specs
formatting
formatting2