Refactored and improved type coercien.
document digestion method and sequence
refactor
revise method signature
Fix action on compilation error
refactor