work on typechecker and reduction relation in parallel