proc fromLit(a: PNode; T: typedesc): auto
proc toLit[T](a: T): PNode
template elementType(T: typedesc): typedesc