Fix client-side [int] parsing and extend server-side [time] parsing to support a format that also works portably in JavaScript

datatype foo = Bar of int

table bad : { A : foo, B : { X : float } }