working constructor types with examples, append function working for combinatorial form: