Added EF, ISession, and migrations