with a prologue on typologies of poskim