decorators for types in typed representation