Wolfe Naming Conventions

Type	Rule	Examples
domains (val defs and constructors)	Uppercase, plural	Doubles, Ints, Seqs(..), val Worlds = World.Dom(…)
term val defs	lowercase, singular	val d = Double.Var
domain specific term constant constructors	domain.Const(value)	worlds.Const(World(true,false))
domain specific term constructors	domain.Term(…)	worlds.Term(x,y)
domain specific variable	domain.Var	worlds.Var
constant creation with implicit domains	value.toConst	2.0.toConst
term transformation functions	lowercase	sigm(x), log(x)
iterable to domain conversion	iterable.toDom	Seq(1,2,3).toDom