the concept of literally typed languages. as in, languages designed to be satisfying to type. #halfbakedideas