atomic-types

Adding explicit type system support for atomic counterparts to primitive types.