Moved from Clafer to root folder.