Loosen the syntax of types slightly