Renamed *.md to *.txt.

This commit belongs to issue #61.
Made it possible to specify infinite-object sensitivity.

This commit belongs to issue #62.
Changed the string representation of receiver context.

This commit belongs to issue #62.