Parameter Contracts for Sinatra