Traits are largely unimplemented

[egroge]

Parsing of traits has been implemented.

Semantic analysis of traits does not seem to be implemented. The following should not be allowed to compile, because the struct does not satisfy the trait:

trait Numeric {
  func asInt() -> Int
}

struct NumWrapper: Numeric {
  var num: Int = 0
}

contract A {
  var numWrapper: NumWrapper = NumWrapper()
}

A :: (any) {
  public init() {}
}

There is also no separate implementation for struct traits and contract states, as detailed in the flint guide