Fiddling around with x-types and stuff