feat: FP basic synthesis?#1750

bollu wants to merge 2 commits intomainopencompl/lean-mlir:mainfrom

fp-4opencompl/lean-mlir:fp-4Copy head branch name to clipboard