Bring in PostTc and PostRn instead of TypeAnnot/NameAnnot