initial structure for patters and inductive types