Require base/input propositions in order for games to pass validation,
since they're part of the official GDL spec.