Finding upper bounds of component instances with deallocation beyond local scope

operational sem antics requires additional in­ form ation in type expressions and some typing rules also need changes substantially.. As it is unusual to allow deal[r]