val quote : size:int -> Domain.value -> Syntax.tm
val quote_ne : size:int -> Domain.ne -> Syntax.tm