Added abstract level (types) and concrete level (instances)