Fix a bug in Prelude handling
Reorganize test suite

Now all modules under exports/ are available for importing
Rename test modules to avoid ambiguity