Replaced Limited/Colimited w/ adjunctions. Added Functor LimitConstraint