A "very typed" container for representing microcode