type signatures are now strings, not lists

fixing previous commit