Function mk_unit_inductive 

pub fn mk_unit_inductive() -> InductiveType

Build the Unit inductive type (single constructor, no fields).