added inference for functor applications (used in function calls, and for disjuncts); tuned comment;
added inference for functor applications (used in function calls, and for disjuncts);
tuned comment;

NaaS/motto,NaaS/motto