* Theory loader: be more serious about observing the static theory header specifications; * Theory loader: optional support for content-based file identification;