Typed and stratified models with slice categories