Miranda Subset

SImple Miranda-like language