Add link to Elm's formal semantics.