ivory language: div, rem to Euclidean div, rem.
concrete syntax: remove warnings for GHC versions.
concrete syntax: parse lit strings w/out quotes.