subtract
Replace the TypeRestriction associated with the given L2SemanticValue, which must be known by this manifest, with the difference between its current restriction and the given restriction. Note that this also restricts any synonymous semantic values.
Parameters
semantic
The given L2SemanticValue.
type
The A_Type to exclude from the synonym's restriction.