replace def and defns with let