Classification over a predicate -- the general case. Part I -- structure theory

We begin the development of structure theory for a first order theory stable over a monadic predicate.