Modified argument matching so that type promotion occurs of constant assignable variables when used in a dynamic evaluation context.
Added help for categorical distribution.