Started expression typechecker