compile-to-JavaScript Boolean predicate language