An implementation of ALGOL W