Improved type information and made first moves towards ref type parameter handling. Non implemented type features now generate ObjC warnings.