Renamed Asym into AntiSym, and a few other small changes