TypedElements package

The TypedElements subpackage of the Abstractions package defines typed elements and their type.