Assert instanceof PropertyId

Another tiny split from #132.