implement basic type compatibility inference for interfaces