first commit dtest
arrange directory
add 4 syntax
add stmt compile type
add stmt compile type
fixed DCaseExec patternMatch
remove DCaseEvidence
fixed glue.k
add comment
modified
add debug comment
modified
modified
modified
merge origin/dtest