Added: Abstract type tests.