let TypeSynonym = Integer in +1 : TypeSynonym