Finished type checking for mixins and tests