More strict about auxtypes