inheriting all types from default redone - close #535