add `type t +=` to the AST
Add `..` to types
support type extensions
bootstrap