Add inner product space and hilber space definitions.