Added type synonym translation
Switched translateDec to return a list