not yet, no; it would need special TypedProps, though that name is already taken; we discussed about changing some aspects of Props a while back and I thought I’d incorporate that here from the start, thus the interim solution