added userHome, changed StandardImplicits to StandardDefinitions