Add SympylFold