Implemented infinite graphs of atomic types