compiler: Various type-related fixes and improvements#6651

jhogberg merged 3 commits intoerlang:mastererlang/otp:masterfrom

jhogberg:john/compiler/propagate-infer-relops-failure/GH-6648jhogberg/otp:john/compiler/propagate-infer-relops-failure/GH-6648Copy head branch name to clipboard