some basic handling of typedefs, although pointers are not yet fully supported