Dependent Object Types (DOT), bottom up