add missing abstract cast check when typing iterators (closes #2345)
clean up abstract config implementation
ignore `else false` cases in check_local_vars_init to avoid problems with the side-effect handler