Call sem_check_context recursively on imported units
Add 'VAL attribute for integers
Add 'POS and 'VAL for subtypes
Add test for 'POS attribute of integer types