Added signatures to Primitives.
Implemented several primitives: make_list, make_set, make_map,
make_tuple.