Provide better error message when splitNormalized fails
Don't `error`, but `fail`, when we cannot translate a type
Make ANF lift non-representable values

Closes #7