A Protocol System for ActiveRecord Models