Email Record: Games and full abstraction for a functional metalanguage with recursive types /