On the computational power of BlenX