Fixed a type in types and added the FreeVariableAnalysis pass.