Added inheritance loop testing and unresolvable trait testing.