Don't inline for compilation (because the evaluator makes bad choices)
Instead, inline the compile-time representation to help the totality
checker only. This can cause subexpressions to be duplicated, so should
be avoided at run-time.
For the run-time representation, inline later at IRTS level.

Fixes #368