cleaned up directionality type traits
Added dircetionality support for CycleCheck