add empty bounds generation
handle argument promotion
fix bug in empty bounds, and add support for updating against an abstract array
comment updates
add isinside method