Changes

Changed the set enumeration function to take C int's instead of TVPs.
This is done for other internal functions.
	modified:   c-examples/lib/VdmSet.c
modified:   c-examples/lib/VdmSet.h
modified:   c-examples/tests/ExpressionsSet_Tests.cpp
 (commit: d96b111)

Refactored pretty printing into its own file.
	new file:   c-examples/lib/PrettyPrint.c
new file:   c-examples/lib/PrettyPrint.h
modified:   c-examples/lib/TypedValue.c
modified:   c-examples/lib/TypedValue.h
 (commit: 0c46d29)

Minor code cleanup.
	modified:   c-examples/lib/IO.h
modified:   c-examples/lib/TypedValue.h
modified:   c-examples/lib/VdmBasicTypes.h
modified:   c-examples/lib/VdmSet.c
 (commit: d90488d)