Challenges in QuML Spec and UI Design