distinguish between types and insts
add comment warnings (XXX|TODO|...)