A Core Calculus of Mixin-Based Incomplete Objects ( extended abstract ) ?