What are some of the most 'pure' object-oriented languages?
A recent introduction to Smalltalk has enlightened me on the application and benefits of a 'pure' object oriented style. I'd previously seen the benefits of this in Ruby, though the presence of non object oriented `if`, `unless` etc. constructs seemed like it didn't carry things all the way through.

By pure here, I'm talking about things like 'everything is an object' (including functions via blocks or something similar) and no procedural-style flow control via flow control methods on booleans & collections. 

Yet, even in a language like Smalltalk some thing stand out as not being object oriented. For example it doesn't seem possible to do variable assignment without using special syntax (:= instead of an 'is:' or similar method) and returning values from a function seems to require the ^ operator which doesn't seem to 'belong' to any object.

Are there any languages that carry this style even further?
What are some of the most 'pure' object-oriented languages?
===

A recent introduction to Smalltalk has enlightened me on the application and benefits of a 'pure' object oriented style. I'd previously seen the benefits of this in Ruby, though the presence of non object oriented `if`, `unless` etc. constructs seemed like it didn't carry things all the way through.

By pure here, I'm talking about things like 'everything is an object' (including functions via blocks or something similar) and no procedural-style flow control via flow control methods on booleans & collections. 

Yet, even in a language like Smalltalk some thing stand out as not being object oriented. For example it doesn't seem possible to do variable assignment without using special syntax (:= instead of an 'is:' or similar method) and returning values from a function seems to require the ^ operator which doesn't seem to 'belong' to any object.

Are there any languages that carry this style even further?