Added literals and exceptional rewrite cases for natural literals (why do they exist) in order to support Agda 2.4.2 and Agda-StdLib 0.8.1.
Updated README to point to the right version of the Agda stdlib.