Wellformedness check for basic type