An ML language based on a complete class-based objective system