Compiler#visit_implication, Compiler#visit_intersection and a couple of changes in specs#452

estum wants to merge 2 commits intodry-rb:maindry-rb/dry-types:mainfrom

estum:compiler-compositesestum/dry-types:compiler-compositesCopy head branch name to clipboard