Nominal Interfaces

- nominal interfaces (traits)

newtype interface Add<T> {
    add(a: T, b: T): T;
}