Additional refactoring for statements and validation.
#46. Added requires support for indexers.
#46. Added missed tests for indexer requires support.
#46. Added postconditions to indexers.
Clean-up and release activities for 0.9.0
Minor fixes.