Add operator 
- allow subtype in field declaration
- allow subtype in class extends
- allow assignment expression match with 
  local variable declaration + initializer