Implement 'type' primitive