Attempt to specify the behavior of the version attribute for statements

I think this encompasses the properties we need version to have. Resolves issue #191.