Make Program a newtype and add an UncheckedProgram type synonym