Comparing types of regular sequences + Tags: added new tags