WyCS: updated instiation for SyntacticType.Function