Add primitive.mli
Complete primitive.mli
Commented primitive.mli