add batch file prove-all6.bat
move rest of eta-reduction stuff to EtaReduction.pm6, add more tests for eta-reduction
add tests for eta-*reduction*