feat(compiler): Structural typing for data and abilities [fixes LNG-215]

[DieMyst]

No description provided.

[linear]

LNG-215 Add structural subtyping for `data` and `ability`

This should compile:

aqua Main

export main

ability Smaller:
    arrow(x: i8) -> bool

ability Bigger:
    arrow(x: i8) -> bool
    field: string

func useSmaller{Smaller}() -> bool:
    <- Smaller.arrow(42)

data SmallerStruct:
    str: string

data BiggerStruct:
    str: string
    field: i8


func useSmallerStruct(s: SmallerStruct) -> string:
    <- s.str

func main():

    bigger = BiggerStruct(
        str = "bigger",
        field = 42
    )

    useSmallerStruct(bigger)

    closure = (x: i8) -> bool:
        <- x > 0

    bigger = Bigger(
        arrow = closure,
        field = "bigger"
    )

    useSmaller{bigger}()

Now compiler says that Number of fields does not match