Term project for type inference and binding time analysis