Partial un-typing now supported for heads with aggregate symbols