warn: eliminate warnings
Merge pull request #317 from frenetic-lang/warn

eliminate raw_app warnings