A tiny subset of Perl 6 with a formally defined semantic