simplify antiquot expander
simplify
tweak
tweak
add deserialize function for dyn_tag
tweak
adjust some files
snapshot
adjust some files
-- tweak ready to support type annotations for antiquote except ep DDSL
add a parser [ep] to parse an intersection of [exp] and [pat]
more precise type annotation for antiquotation
type annootations for quasiquotation with locations
correct all type annotations -- to be examined
remove ant files
change all type annotations to coercions.
%exp{$id{x}}
-->  ((x :> Astf.vid) :> Astf.exp)
apply the annotation technology to self
tweak -- for small DSLS, it's better to not rely on a runtime