Complete inheritance, modules and scope