some primitive typexp type
typexp tuple
add primitive binary type
rename test file names to avoid conflict with builtin modules
reimpl type_constr