A Core Calculus of Dependency