A Core Calculus of Classes and Mixins