add transTy and TransDec
fixed varDec and TypeDec and added wildcard to replace broken funDec