DEFAULT Value parsing and pretty-printing. constraints and tags checking/fixing code fixes

ChangeLog

@@ -10,6 +10,11 @@
 	* Added converters between any generic type and the ANY type.
 	* Parser fixed: Information Object Class fields may be taged.
 	* Parser fixed: tagged types inside SEQUENCE OF/SET OF support.
+	* Improved DEFAULT Value parsing and pretty-printing.
+	* Condition on distinct tags checker was incorrectly dealing with
+	  tagged CHOICE types. Fixed. Modified tests/37-indirect-choice-OK.asn1
+	* Fixed constraint checking code incorrectly dealing with imported
+	  types with constraint values defined in other modules.
 	* Real REAL support! (Haven't tested denormals support yet!)
 	  See skeletons/tests/check-REAL.c