Skeleton Coding: Program Structure as a Specification for Agents