Add concrete time as a module
Add abstract aval
Remove TODOs