A language and ecosystems for doing math over abstract images.