Fixed compilation errors revealed by Typechecker
bottom -> nothing

Adjusting to the changes in M5 language.
Removing local version of sdk-test module

Replacing it with ceylon.test module instead
Adjusting to M5 syntax changes