Types within Greenard