Basic type propagation