Treating the specifications of Structural Operational Semantics as a programming language opens up for a variety of analysis methods which are commonly used in research surrounding programming languages. This paper gives a type system that uses unification to ensure specifications are well-typed and uses graph-based analyses to ensure the bindings and premises within rules are logically ordered. This opens up for research into the role of having a compiler-like tool available when learning and working with specifications of operational semantics.