type signatures are now strings, not lists

looks a little better