made progess on existing types, started implementation of bras/kets