Automated Lean Proofs for Every Type