Update and rename Assertion.md to assertion.md

Renamed for Lexicon consistency