move semirings to the root dir