Typing Record Live 3MIL (3MIL)