added primitive functions to the initial environment, type checked two complex sample programs