Asn1 automatic tags

The ASN.1 compiler doesn't produce correct encoding for a tagged type when the module TagDefault is AUTOMATIC.

**X.680 s30.6** states the specific cases where explicit tagging should be used with "*implicit tagging otherwise*".

This patch corrects the faulty behaviour and includes a test case for a few example types.