core: refactor type application checker to use separate judgment
core: default the kind of unconstrained function parameters to Data
Merge branch 'master' of ssh://github.com/DDCSF/ddc