sim/time: use second as reference unit
units: support division by quantities in the same unit
infer_type: better rules
language/core: add round64
language/core: update kernel ro types
compiler: new architecture for type inference and LLVM code emission