Finitary Type Theories With and Without Contexts