let TypeSynonym = Integer in 1 : TypeSynonym