What are these important second-order effects? As far as I know it simply only syntax. There is nothing you can't express semantically in one and not the other.