all types inherit from the default type - close #527