An Equational Logical Framework for Type Theories