maybe possibly finished type resolution for assignment