Wrote tests for TypeConstraintIsAlreadyCreated,CannotFindType & AddParameterizableTypeTakesParameterizableType
replaced throw_error & confess with throw_exception
wrote AddParameterizableTypeTakesParameterizableType,CannotFindType & TypeConstraintIsAlreadyCreated