impl up/down test
rename app.rkt to tests.rkt