A couple of additional notes: * Regarding performance: a compiler could devirtualize the virtual/interface calls if it can prove there are no necessary dynamic

A couple of additional notes: * Regarding performance: a compiler could devirtualize the virtual/interface calls if it can prove there are no necessary dynamic dispatches * contracts additionally differ from interfaces in that the former are generic over multiple types while interfaces are only generic over one type.