A ML language based on complete class-based objective system