Initial type-level Graph implementation.