a few things about types