Changes

Summary

1. WIP GC support for sets. (commit: 658532b) (details)
2. Head file cleanup. (commit: 391b58a) (details)
3. Added set-valued functions. (commit: 145817a) (details)

Commit 658532b6a0fab6ad6bb7a6c41eb09033e94b2678 by Victor Bandur WIP GC support for sets. (commit: 658532b)
	c/vdmclib/src/main/VdmSet.c (diff)
	c/vdmclib/src/main/TypedValue.c (diff)
	c/vdmclib/src/main/TypedValue.h (diff)
	c/vdmclib/src/main/VdmSet.h (diff)
Commit 391b58a3e9bc461ee0fead89856219e083970617 by Victor Bandur Head file cleanup. (commit: 391b58a)
	c/vdmclib/src/main/VdmSeq.h (diff)
Commit 145817a837c2301c372384be07955ad23c0233f7 by Victor Bandur Added set-valued functions. (commit: 145817a)
	c/vdmclib/src/main/VdmSeq.c (diff)
	c/vdmclib/src/main/VdmSeq.h (diff)