Updated restrict to handle simulation (but still return a restriction as a bonus)
Sub-classing new type of Atomic from Structure to provide transparency of restriction