GitLab

Refactor error computation in semantics into separate function/Proposition
to be able to differentiate between truncation and rounding-to-nearest error.

Refactor exp type into expr type because of name clash with new coq version, move ExpOrderedType module into separate file

botched up by a merge.