A non-holonomic systems approach to special function identities