remove assumed types