implementation module type

freeVar :: State 

:: Environment :== Map String Type



State (String, Environment)