TLAF: TLA+ Foundation