no auto add subtypes to base if they are lists
FindDefaultImplemenation moved to AutoAddStrategy
explicit properties contract default for aqla
aqla add types tests
added implicit fallback