added varType to static synthesizations