Switched to Lean Mapper and updated dependencies versions