finished proving regularity of target language type judgment