encapsulating type information / implicitly inferring types based on
result holders in expressions
minor semantic code cleanup / integration test for swap program