making token types according to mini-PL types