Add an experimental concrete types approach