Review a few converted modules

- Change from nestedFailwith to nestedFailure in a number of place.
- Use newly-defined getOrFailure2 and getOrFailure3 for safety
Convert canon module until GEN_NNF_CONV function
Convert canon module until ASSOC_CONV function