Removed Pos* types from Clafer