Type faces: An idea to bridge typed and type-less worlds