better name quotation
fix a regression problem, turn off verbose and add unit test
rename QUOTATION -> Quot
lazy resolve DDSL name
move resolve name  variables to astquotation
renaming NATIVEINT => Nativeint
clean filter interface
add some comments
make (mod) as  a token and then save the filter
tweak