Implicit session moved to SessionProvider trait; Added return types of DAO methods