Use asserted_value instead of check_value

This is sligthly simpler, and check_value was deprecated as well.

This entails a minor spec change, as trying to set an invalid type value
will now result in an exception.
Add an ApplicationContext class

This item is part of the association message.