Made types automatically inferred.
Added complex field theorems.