Formal definition and utility functions lib for the MBQL language - View it on GitHub