implement Fx|prog and "program" map class