Improved notations to build structure instances with Program