to do
Beginning on discussions of finite type/finite presentation/coherent modules.