* Preserve types for decorators that don't change signatures * Augment types for decorators that change signatures * Drop redundant type checks