add TypedIdentifier to Function Expressions
TypedIdentifier adds checks to its scope to check if the var is indeed an int