Add basic StateT example