Removed static_type_checker and cleaned up about_variables