A Model for Attention-Driven Judgements in Type Theory with Records