time in alloy

Adding time support in alloy.