An Expressive Extension of TLC