First pass at runtype program