added new paradigm and scala-util.coref snapshots