Handling more forms of definition.

	 In particular, it should now be possible to define multiple names at once, and to
	 leave off type declarations when the type can be inferred.