Improved Safety for ImmutableTypes

• Immutable types with common base types with mutable types are much safer due to additional type checks
• Fixed issues #21 and #22.
• improved tests (some threw the wrong exception but were still accepted)