remove excessive explicit copying of different datatypes
* trait for Var (of which Index is an implementation)
* factor out magic syntax, now need to import
  uk.ac.ed.inf.mois.implicits._ if you want it