type safe, compiled play framework messages