#27 Add expansion and type infernce for deftype declarations