tidy-up codes
tidy-up codes; add comments
remove Enum from value

add Symbol to basic value

remove find_follow

change definition of resolve

replace resolve_link with resolve_follow

tidy up codes

add comments
refactoring; adapt to changes on Type syntax
tidy up codes; adapt to changes on syntax, type, & domain; add comments