Rec1: move some instances to Syntax