types in bluespec 2 5165801