Sorts in syntax everywhere, some checks