New iota

[lileicc]

type Person;
#Person ~ 1;

random Person x ~ iota({p for Person p});

query x;

[cberzan]

LGTM

Type ANY basically means BLOG doesn't do any type checking, and a runtime exception will be raised if there's a type mismatch, right?

[lileicc]

@cberzan Yes. Since we do have generic for Set. this is one way to handle it.

[lileicc]

Fixed iota to throw exception on non-singleton set.

[lileicc]

going to merge.