Add constraint inference#197

kaleidawave wants to merge 1 commit intomainkaleidawave/ezno:mainfrom

constraint-inferencekaleidawave/ezno:constraint-inferenceCopy head branch name to clipboard