ZLang is supported for some of the macros. The macros are in the tick namespace. For example,
tick
$(trait is_incrementable) { template<class T> auto require(T&& x) -> valid< decltype(x++), decltype(++x) >; };