0.4.7
rename symbolic types