Resolves Spec Issue 125: Introduced Type-Safety Tests