update type_rtechn by making morphism of rtechn