EigenDA and its Operator Network: A Primer