The simple argument types are those for which type tests are provided. They are summarized in mpg-top-typ.
In addition there is stream_object, a special type of term described in ref-iou-sfh-sob.
If an output argument is given the type var, it means that that argument is not used by the predicate in the given instantiation pattern.