Type inference, principal typings, and let-polymorphism for first-class mixin modules