The relationship between linguistic types and the valence of operators on the genotype level of Applicative Universal Grammar (AUG) is examined. Assuming that the "t" and "s" types may be treated as zero-place operators, a relationship is found between the valence of an operator and its genotype, which explains the difference between types operators, e.g., modifiers and predicates. The motivation for this work is the construction of a parser that correctly identifies superposition, a theory of AUG that posits that, in certain circumstances, an expression may have a stratified type rather than a simple type. (MSE)