Compiler: abstract useFromString into hasLanguagePragmas, can be used for implementing implicit prelude