changed HelloWorldPrelude.sl to cover more cases of imporeted identifiers... but pattern matching on imported constructors does not work :(