Add a GADT for floating point expressions and a higher level one that covers floating point and integer expressions. Add tests for expression correctness and parsing. The calling convention test is adjusted.