Start type checked implementation
Make mqt work in the same way as mq.