Some more definitions for option types
Some more definitions for option types

nathanielbaxter/libminizinc,tias/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,tias/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc