Added contracts to extend the possibility to perform exceptional procedures in case a type resolution fails
Refactored container related classes