commit of verification long standing branch

so you will also separate ```ListUpdate``` from ```BuiltinList``` in future commit?