Fixing issue#616

Temporary fix for https://github.com/kframework/k/issues/616.

A better way to resolve this is to separate ```BuiltinList``` that actually represents a list update operation to ```ListUpdate``` just like ```MapUpdate``` and ```SetUpdate```.