Consistency Programming for Local First Software