A tiny language for teaching and experimenting with Refinement Types - View it on GitHub