PROBCORE-404 Created support in EventB and ClassicalB for assignments
PROBCORE-404 Finished editing the EventBTranslator so that the correct type environment is used for the creation of the elements.