A STructured Approach At Modular Programming with InK