Progress on causal streams
Progress
moved agda code to a subdir under code/