Remove inappropriate TODOs from Ex1_07.scala