Dirac Programming Language

I decided to be very rigorous about syntax.
I know it is quite boring and counter- 
productive to program in such conditions
However, I intend to be more precise,
even including irrational numbers. How?
You'll see! The fact is that mathematicians
do not care about production, but aim 
always for clarity of thought.
I see many languages that are quite easy 
to type, but in the end they are ambiguous
when we have many ways of doing something
instead of one.

The code goes like this:

program, teste.
variable, a is bra.
variable, x is matrix.
transpose(a).
c := mult(a,x).
print(c).
end, program.

Well, I have many notes about the Dirac language, and I have to study a bit more. But, for the following month I expect to present a compiler's prototype. Something very humble to start. In pseudo language I'd like to do this

1. Define a program

2. Define the variables bra-ket

3. At least one operator

!This is a comment
program teste 
ket a,b,c
number x,y
c := ax+by
print c 
end program