add checks for unimplemented decorations on types