More detailed BaseDefinition.type (fixes #169)