“All services offered by a module should be available through a uniform notation, which does not betray whether they are implemented through storage or through computation.”