red models include AlloyModelApi; some query methods for red records (all?, none?, ...); class_builder: include the current scope_module in the created class; policy test checks
sped up renderer tests