A Multithreaded Typed Assembly Language