Attempting to make context construction and pretty printing less verbose