Added support for type checking in VELVET to be both regular and array types.