Types within Gram Beckman