eopl; showcase - the EXPLICIT-REFS language