Fixed type system bug involving infinite recursion.