Trusted Types without Policy DEMO