Added a very clean interface for literals, types and schemes.