Completed AboutInfixTypes.scala