Implement basic nominal/quant checking