Implicits and recursive with edge cases with literals in return branches fixed. Test file fixed.