Starting on conversion from core to normalized syntax