Add concrete time as a module
Add abstract aval
Remove TODOs
Add doc generation
Add abstract and concrete times