add Core.ToLiteral
fix Assert messages
fix Core.ToLiteral