Primitive Constructors
	ä It is sometimes necessary to introduce additional constructors to simplify the specification ä The other constructors can then be defined using these more primitive constructors ä In the binary tree specification, a primitive constructor Build is added