WIP: extract typesignature from real code